trait object

traitを実装するobjectのpointer

実行時に型が決まる

サイズが不定 (?Sized) のため、ポインタ経由で扱う

例

code:rs

let mut buf: Vec<u8> = vec![];

let writer: &mut Write = &mut buf;

何と何を指している？

値へのpointer

コンパイル時に、その型用のtraitの実装が紐付けられる

何が嬉しいのかよくわかっていない

嬉しいと以下嬉しくないとかではなく、そういう構造で実装してますよ、ってだけかもしれない

他の知っている言語へのアナロジーをうまくできていない

たぶんそんな難しいものではなく、身近なものなんだろうなという気はしている

code:ts

interface IWriter {

write(str: string): void

}

class Writer1 implements IWriter {

write(str: string): void {

console.log(str)

}

}

class Writer2 implements IWriter {

write(str: string): void {

console.log(str)

}

}

const w: IWriter = new ????;

w.write('hoge')